
#ifndef pwm_h__
#define pwm_h__




#include "stm32f4xx.h"
#include "stm32f4xx_rcc.h"
#include "stm32f4xx_gpio.h"
#include "stm32f4xx_spi.h"
#include "stm32f4xx_tim.h"
#include "FlightDataStruct.h"



void UpdatePWMOutput(struct FlightDataStruct* state);
void initLeds(void);
void initTimer(void);
void initPWM(void);
void Delay(u32);

#endif
